has{-}value($a$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$callbyvalue($a$; $a$.0) = 0 $\in$ $\mathbb{Z}$